Ehrenfeucht - Mostowski models in
نویسنده
چکیده
In [15], Shelah proclaims the aim of reconstructing model theory, ‘with no use of even traces compactness’. We analyze here one aspect of this program. Keisler organizes [8] around four kinds of constructions: the Henkin method, EhrenfeuchtMostowski models, unions of chains, and ultraproducts. The later history of model theory reveals a plethora of tools arising in stability theory. Fundamental is a notion of dependence which arises from Morley’s study of rank, and passes through various avatars of splitting, strong splitting, and dividing before being fully actualized in the first order setting as forking. We eschew this technique altogether in this paper– to isolate its role.
منابع مشابه
Ehrenfreuht-Mostowski models in Abstract Elementary Classes
Remark 0.1 (Preliminary version.) This is an extremely preliminary version of my paper for the Ann Arbor proceedings. It contains some material (e.g guide to reading 394) which will almost certainly come out. But it does provide I think some insight into Shelah’s use of Ehrenfeucht-Mostowski models which I hadn’t understood. Even more than usual comments on both the general direction and specif...
متن کاملMathematical Logic Xavier
In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowsk...
متن کاملThe Stability spectrum for classes of atomic models
We prove two results on the stability spectrum for Lω1,ω . Here S m i (M) denotes an appropriate notion (at or mod) of Stone space of m-types over M . Theorem A. Suppose that for some positive integer m and for every α < δ(T ), there is an M ∈ K with |S i (M)| > |M |iα(|T |). Then for every λ ≥ |T |, there is an M with |S i (M)| > |M |. Theorem B. Suppose that for every α < δ(T ), there is Mα ∈...
متن کاملExtensional Quotients for Type Theory and the Consistency Problem for NF
Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a...
متن کاملWhy There Are Many Nonisomorphic Models for Unsuperstable Theories
This was mentioned in [S4], and in fact in [S2]. We shall first sketch the proof and then point out some applications of the theorem and the method. We generalize the notion of indiscernibility used in Ehrenfeucht-Mostowski models (from [EM]). Let I be an (index) model, M EL model and, for each sel,äs is a (finite) sequence from M. For s = , s(l) e 7,let ä-s = äs{Q) A ••• A...
متن کامل